The Computable Dimension of I-Trees of Infinite Height

We study computable trees with distinguished initial subtree (briefly, I-trees). It is proved that all I-trees of infinite height are computably categorical, and moreover, they all have effectively infinite computable dimension.     

Partially Strictly Monotone and Nonlinear Penalty Functions for Constrained Mathematical Programs

We introduce the concept of partially strictly monotone functions and apply it to construct a class of nonlinear penalty functions for a constrained optimization problem. This class of nonlinear penalty functions includes some (nonlinear) penalty functions currently used in the literature as special cases. Assuming that the perturbation function is lower semi-continuous, we prove that the sequence of optimal values of nonlinear penalty problems converges to that of the original constrained optimization problem. First-order and second-order necessary optimality conditions of nonlinear penalty problems are derived by converting the optimality of penalty problems into that of a smooth constrained vector optimization problem. This approach allows for a concise derivation of optimality conditions of nonlinear penalty problems. Finally, we prove that each limit point of the second-order stationary points of the nonlinear penalty problems is a second-order stationary point of the original constrained optimization problem.     

Banach空间中二阶积分-微分方程的初值问题

使用锥理论及单调迭代技术，首先讨论了Banach空间中一阶积分-微分方程初值问题的最小最大解的存在性，并在此基础上讨论了带有一阶微分项的二阶积分-微分方程初值问题的最小最大解的存在性。     

Some sufficient conditions for oscillation of impulsive delay hyperbolic systems with Robin boundary conditions

This paper deals with the oscillation problems of delay hyperbolic systems with impulses. Some sufficient conditions for oscillations of impulsive delay hyperbolic systems with Robin boundary conditions are obtained and the criteria of oscillation of the systems are established.     

Optimal control of the obstacle in a quasilinear elliptic variational inequality

In this paper we consider an obstacle control problem where the state satisfies a quasilinear elliptic variational inequality and the control function is the obstacle. The state is chosen to be close to the desire profile while the H² norms of the obstacle is not too large. Existence and necessary conditions for the optimal control are established.     

Critical exponent for semilinear damped wave equations in the N-dimensional half space

We generalize a previous result of Ikehata (Math. Methods Appl. Sci., in press), which studies the critical exponent problem of a semilinear damped wave equation in the one-dimensional half space, to the general N-dimensional half space case. That is to say, one can show the small data global existence of solutions of a mixed problem for the equation u_tt−Δu+u_t=|u|^p with the power p satisfying p∗(N)=1+2/(N+1)<p?N/[N−2]+ if we deal with the problem in the N-dimensional half space.     

抛物型时滞偏微分方程解振动的充要条件

讨论一类多滞量抛物型时滞偏微分方程解的振动性质，获得了其一切解振动的充要条件及一些充分条件；指出了其与普通抛物型偏微分方程解的质的差异．     

On the Solution of Discontinuous IVPs by Adaptive Runge–Kutta Codes

In this paper an automatic technique for handling discontinuous IVPs when they are solved by means of adaptive Runge–Kutta codes is proposed. This technique detects, accurately locates and passes the discontinuities in the solution of IVPs by using the information generated by the code along the numerical integration together with a continuous interpolant of the discrete solution. A remarkable feature is that it does not require additional information on the location of the discontinuities. Some numerical experiments are presented to illustrate the reliability and efficiency of the proposed algorithms.     

年龄相关的种群扩散系统的最优分布控制

本文讨论年龄相关的种群扩散系统的最优分布控制 ,证明了最优分布控制的存在性 ,得到了分布控制为最优的充分必要条件及确定最优控制的最优性组 .     

Asymptotic Regimes of Magnetic Bianchi Cosmologies

We consider the asymptotic dynamics of the Einstein-Maxwell field equations for the class of non-tilted Bianchi cosmologies with a barotropic perfect fluid and a pure homogeneous source-free magnetic field, with emphasis on models of Bianchi type VII₀, which have not been previously studied. Using the orthonormal frame formalism and Hubble-normalized variables, we show that, as is the case for the previously studied class A magnetic Bianchi models, the magnetic Bianchi VII₀ cosmologies also exhibit an oscillatory approach to the initial singularity. However, in contrast to the other magnetic Bianchi models, we rigorously establish that typical magnetic Bianchi VII₀ cosmologies exhibit the phenomena of asymptotic self-similarity breaking and Weyl curvature dominance in the late-time regime.